OCL Plus: Processes and Events in Object-Centred Planning

نویسندگان

  • Shahin Shah
  • Lukás Chrpa
  • Peter Gregory
  • T. L. McCluskey
  • Falilat Jimoh
چکیده

An important area in AI Planning is the expressiveness of planning domain specification languages such as PDDL, and their aptitude for modelling real applications. This paper presents OCLplus, an extension of a hierarchical object centred planning domain definition language, intended to support the representation of domains with continuous change. The main extension in OCLplus provides the capability of interconnection between the planners and the changes that are caused by other objects of the world. To this extent, the concept of event and process are introduced in the Hierarchical Task Network (HTN), object centred planning framework in which a process is responsible for either continuous or discrete changes, and an event is triggered if its precondition is met. We evaluate the use of OCLplus and compare it with a similar language, PDDL+.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm

In this paper we discuss and describe preliminary results of integrating two strands of planning research that of using plan graphs to speed up planning, and that of using object representations to better represent planning domain models. To this end we have designed and implemented OCL-graph, a plan generator which builds and searches an object-centred plan graph, extended to deal with conditi...

متن کامل

B vs OCL: Comparing specification languages for Planning Domains

In this paper we examine the specification and validation of Artificial Intelligence Planning domain models using the B Abstract Machine Notation and its associated tool support. We compare this to the use of OCL (object-centred language) within its tool-supported environment, GIPO. We present encodings of two well-known AI planning domain models, the Blocks world and the Tyres world, with the ...

متن کامل

An Object-graph Planning Algorithm

In this paper we describe the results of our initial attempt to integrate two strands of planning research-that of using plan graphs to speed up planning, and that of using object representations to better represent planning domain models. To this end we have designed and implemented OCL-graph, a plan generator which builds and searches an object-centred plan graph. Our initial design and exper...

متن کامل

Object-centred Planning

In this paper we argue generally for a move to an object-centred formulation of precondition planning. Our previous work has demonstrated some of the advantages of systematically creating and compiling an object-centred domain model. Here we describe a complementary object-centred planning engine which exploits such a domain model, and review some of its beneets. We also survey related work tha...

متن کامل

Knowledge Representation in Planning: A PDDL to OCLh Translation

Recent successful applications of AI planning technology have highlighted the knowledge engineering of planning domain models as an important research area. We describe a prototype implementation of a translation algorithm between two languages used in planning representation: PDDL, a language used for communication of example domains between research groups, and OCL h , a language developed sp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012